/*
* ========== Copyright Header Begin ==========================================
* 
* OpenSPARC T1 Processor File: xdcache.c
* Copyright (c) 2006 Sun Microsystems, Inc.  All Rights Reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES.
* 
* The above named program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public
* License version 2 as published by the Free Software Foundation.
* 
* The above named program is distributed in the hope that it will be 
* useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
* General Public License for more details.
* 
* You should have received a copy of the GNU General Public
* License along with this work; if not, write to the Free Software
* Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
* 
* ========== Copyright Header End ============================================
*/
/*
 * Copyright 2006 Sun Microsystems, Inc.  All rights reserved.
 * Use is subject to license terms.
 */
#pragma ident	"@(#)xdcache.c	1.5	06/03/16 SMI"

	/*
	 * Support routines for the execution data cache
	 */

#include <assert.h>

#include "basics.h"
#include "allocate.h"
#include "simcore.h"
#include "config.h"
#include "xdcache.h"


void xdcache_flush(simcpu_t * sp)
{
	xdcache_t * xdcp = &(sp->xdc);
	int i,j;

	for (i=0; i<XDCACHE_NUM_LINES; i++) {
		xdcp->line[i].tag = XDCACHE_INVALID_TAG;
	}
}
